//]]>
Unhighlight Highlight
Formal Modeling and Analysis of Timed Systems by Chatterjee, Krishnendu. Publication: . X, 257p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science Logic by Dawar, Anuj. Publication: . XIV, 548p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and the Foundations of Game and Decision Theory – LOFT 8 by Bonanno, Giacomo. Publication: . XI, 207p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Foundations of Computer Science 2010 by Hliněný, Petr. Publication: . XVII, 714p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A 25-Year Perspective on Logic Programming by Dovier, Agostino. Publication: . XIV, 329p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language and Meaning by Aloni, Maria. Publication: . X, 476p. 1 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language, Information and Computation by Dawar, Anuj. Publication: . X, 259p. 28 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science – Theory and Applications by Ablayev, Farid. Publication: . XI, 397p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Blume, Matthias. Publication: . XI, 355p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computational Structures by Ong, Luke. Publication: . XV, 389p. 47 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Information and Knowledge Systems by Link, Sebastian. Publication: . XII, 363 p. 58 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Treatise on Intuitionistic Type Theory by Granström, Johan Georg. Publication: . XIV, 198 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The NCL Natural Constraint Language by Zhou, Jianyang. Publication: . XIII, 311 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Algebraic Specification and Formal Software Development by Sannella, Donald. Publication: . XVI, 584 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3
Languages: 
English |
العربية